# -*- mode: snippet -*-
# name: Unset Decidable Equality Schemes
# --
Unset Decidable Equality Schemes
